perm filename NONMON.SLI[S90,JMC] blob sn#884165 filedate 1990-04-30 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	%nonmon.sli[s90,jmc]	Slides for lecture on nonmonotonic reasoning
C00003 00003	\end
C00004 ENDMK
CāŠ—;
%nonmon.sli[s90,jmc]	Slides for lecture on nonmonotonic reasoning
%\input slide2.tex[1,jmc]
\centerline{NONMONOTONIC REASONING}

Monotonicity of logical deduction
\medskip
$$\displaylines{A \vdash p\hfill\cr
A \subset B\hfill\cr
\noalign{\smallskip\hrule width 0.5 truein\smallskip}
%\noalign{\medskip\hrule\medskip}
A \vdash p\hfill\cr}$$

\bigskip
Monotonicity of semantic entailment
$$\displaylines{A \models p\hfill\cr
A \subset B\hfill\cr
\noalign{\smallskip\hrule width 0.5 truein\smallskip}
%\noalign{\medskip\hrule\medskip}
A \models p\hfill\cr}$$
\vfill\eject
\end